perm filename CMSS10.360[360,GF] blob
sn#868289 filedate 1989-01-11 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'βH↔ε∩p_L'#→F$ GCr⊂⊃β E0β∃@e0↓ 5(↓@ E(↓@@5 α@E ↓@`E ↓A5_α↓E_α↓E_↓A E⊂α↓@E⊂α↓@E⊂↓A`EλααEλααEλ↓B Eαα@Eαα@E↓B`DxαβDx
∪Bdp∪@@pα∪ Aα∪ Aα∪ 1λα∪A⊂α∪A⊂α∪1_α∩`A α∩`A α∩`1(α⊃(D⊂π$"⊂βi!⊂%∧i ¬↓i ε↓) π↓ πA πA λi λi πA π@i π↓ εA ¬A)!_%∧)!_%↓↓⊂8%↓↓@(%↓↓` %↓↓p %↓α_%↓α %↓α %↓α %↓α %↓α %↓↓p %↓↓`(%↓↓P(%↓↓00%¬ !_%∧λT !F#R ⊃C↓¬_εTB¬β↓`TxαB`4pαS@Dhα∪T`α∩`TXα∩`DXα∩@DPα∩@DPα∩@DPα∩@DPα∩@DXα∩`DXα∩`T`α∪Thα∪@DpαC`∀xαC5βαU⊂λ∀aU0∧⊃(D
H∧"⊂∧ !⊂%¬ ¬AI εA) π↓) πA) λ↓ λA λA ↓ ↓ ↓ A A A A A A A A A @i ↓ ↓ λA) λA λ↓) πA) π↓) εA) ¬AI! %∧i!"QλQ0
HD
RBTP
R@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩BDP
∩BDPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DP∩BdP⊃(D0
ε$"⊂¬ ! %¬ %↓ %↓ %↓ %↓ %↓ %↓ %∧I!⊂%∧I %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓λT #F#R ⊃Ba¬_εTB¬β↓`TxαB`4pαS@Dhα∪D`α∩`DXα∩`DXα∩@DPα∩@DPα∩@DPα∩@@X¬∩@@X¬∩@@X¬∩`Aα∩`Aα∩`Aα∩`Aα∪@xα∪@xα∪ @pα∪@@hα∪@P`α∪`PXα∀`@αTB∃_π∃!∀("∩β↓h⊃λ@ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ !@%ε !@%↓α %↓α %↓α %↓α %↓α %↓α %↓α %↓α %↓α %↓α %↓α %↓α %↓α %↓α %↓α %↓α %↓α "Q ⊂ ∧HD α∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα⊃(DPλ∧D2⊂ε↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓ ⊂∧A β↓) p%C `8"Q 1X⊂λD α∧ TPα∧TPαβ`TPαβ@TPαβ TPαβTPαα`TPαα@TPαα TPααTPα↓`TPα↓@TPα↓@DPα↓ TPα↓dPα`tPαA∀Pα PλαRA⊂_α∩A(α∩@p0αR@`@α∩@PPα∩@@Xα∩@@`α∩@@hα∩@@hα∩@@pα∩@@pαR@@xα∩@Aα∩@AαR@Aλα∩@A⊂α∩@A⊂αQ(D` F∧"⊂↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %∧i!_%∧hT &H$b⊂⊃Q0β∩@a βR@a βR@@λE λα∩@@λ↓∧@0λα∩@@λ↓∧@0λα∩@@λ↓∧@0λα∩@@⊂↓∧0⊂α∩@@⊂↓∧0⊂α∩@@⊂↓∧0⊂α∩@@⊂↓C@@⊂α∩@@_↓β@0_α∩@@_↓C@_α∩@@_↓C@_α∩@@ ↓β0 α∩@@ ↓B@@ α∩@@ ↓B@@ α∩@@(↓α@0(α∩@@(↓B@(α∩@@(↓B@(α∩@@0↓α00α∩@@0↓A@@0α∩@@0↓A@@0α∩@@8↓↓@08α∩@@8↓A@8α∩@@8↓A@8α∩@@@↓↓0@α∩@@@↓@@@@α∩@@@↓@@@@α∩@@H↓@0Hα∩@@H↓@0Hα∩@@PαB@DPαα@PPα∩@@PαB@DPαε D("∪C↓h⊃λ@0π↓ 8εA 8εA @a@ %↓⊂_ε↓ A↓0 %↓ _¬A ↓a0 %↓ ¬↓ ↓@a %↓0 ∧A αa⊂ %↓@ ∧↓ α↓↓ %↓P βA αAp %↓`_βA β↓` %↓p_β↓ βAP %↓p αA ∧↓@ %↓↓ α↓ ∧@`@ %↓↓⊂ ↓A ¬`0 %↓↓ ↓↓ ¬@` %↓↓0_↓↓ ¬A⊂ %↓↓@_A ε`⊂ %↓↓P8%↓↓P8%↓↓`0"Q qp⊂I∧0`β∀aE⊂π∀`0β∪`PPαS@P`αS@@pα∪ Aα∪A⊂α∪A⊂α∩`A α∩`A α∩`A α∩`10↓R@A0α∩@A0α∩@A0α∩@A0α∩@A0α∩@A0α∩@A0α∩@A0α∩@A0α∩`A α∩`A α∩`A α∩`Q⊂αSA⊂α∪QαS Aα∪@@pα∪@P`αS`PPαT`0β∀"¬_ε∃@d("∀αq`⊃λ@x%∧I!_%↓↓ 0%↓↓P %↓↓` %↓↓` %↓↓p %↓↓p %↓↓p %↓↓p %↓↓p %↓↓p %↓↓` %↓↓` %↓↓P %↓↓ 0%∧i!⊂%βi %↓ %↓ %↓ %↓ %↓ %↓ %↓ "Q
⊃p⊂J$0`β∀aE⊂π∀`0β∪`PPαS@P`αS@@pα∪ Aα∪QαSA⊂α∩`Q⊂αR`A α∩`A α∩`A α∩@A0α∩@A0α∩@A0α∩@A0α∩@A0α∩@A0α∩@A0α∩@A0α∩@A0α∩`A α∩`A α∩`A α∩`@@ααD`αα@0α∪@Hα↓ DhααP_α∪@@@α@DpαB↓∀xαAa¬β↓@eλλ∀au0β@UxαXFαX V⊂αQ(E⊂GD"⊂βi!⊂%∧i ¬↓I εA π↓ π@i πA πA πA πA πA π@i π↓ εA ¬↓I!_%∧I x%↓↓ %↓↓⊂_%↓↓⊂ %↓↓ %↓↓ %↓↓0 %↓↓@_%↓↓@ %↓↓P %↓↓P %↓↓` %↓↓` %↓↓p %↓α %↓α %↓α⊂ "Q
10 ∧0@∧∀↓TxπS@P0αS @P↓SD`α∩`DXα∩`DXα∩`DXαST`β∪!∧p¬∪aEλ¬U↓∃@β⊗@UXα⊗`U`α↔E`α↔E`α↔DP↓β`DP↓C@DPαB`DXβA@ThπSAUλ∧⊃(E ∞Gd"⊂π)!h%π*p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +AλT *EcB_⊃@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩`@hα∩`@hα∩`PXαS@Xα∪ @Hα∪@P(αSaU¬T@t("∃Cax⊃λ@ ↓ ↓ 0
↓ 0
↓ 0
↓ @ ↓ @ ↓ @(λA P λ↓ P λ↓ ` π↓ ` π↓ ` π↓ p ε↓ p ε↓ p ε↓
¬↓
¬↓
⊂ ∧@j⊂ ∧↓
⊂ ∧↓
β@j β↓
β↓
0 α@j0 α↓
@_αj@ ↓@j@ ↓↓
P_↓jP_↓jP @j`0+↓J`0"Q
r`⊗HD α∧Aα∩@@xββ`DPαβ``xα∩`@p↓ 0pα∩`@h↓@ 0pα∩`@h↓@@0hα∩`@h↓@@0hα∪@`↓@@0`α∪@Xα@0`α∪@X↓@`@Xα∪ @P↓A0X↓S @P↓A0Pα∪ @Hα↓@Hα∪ @H↓A @Hα∪@@@↓A@0H↓S@@@↓A@0@α∪@@8α↓@@8α∪`08↓A`@8↓S`@0↓B00α∪`@0↓B00α∪`@(αα@(α∀0(↓B @(↓T@ ↓B@0 α∀@ ↓B@0 α∀@_↓B`@_α∀ 0_↓B`@_↓T 0_↓C0_↓T @⊂↓C0⊂α∀@0⊂↓β 0⊂↓T@0λ↓C@0λ↓T@0λ↓C@0λ↓T@0λ↓C@0λ↓T`Pxβ∀`QαT`QαQ(E@∂πd"⊂Aα (%A"⊂ &↓!p &A!P('↓↓P '↓!0 'A!⊂((↓↓⊂ (Ap (A P()↓ @ )A0 *↓⊂ *α*P8+↓*p +↓*P8*B
@ A*0 ↓A
(α↓
β↓
⊂ βA*(∧↓
¬↓ p ¬A)`(ε↓)` π↓ P λ↓ @(λ↓)0( ↓ 0
↓ (
↓(T ,H∧α⊂⊃Q0αR`Q αSA α∪Q⊂αS QαS@Aα∪@PpαS`P`αT@`α∀PPαT PHα∀@@@α∀@P0αT`@0α∃@ α∃P⊂αU @⊂α∃@@λ↓UA¬8β⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗D("⊗C↓X⊃λ@↓8%¬i!8.↓0(-↓+ ,A+⊂ ,↓*p(+A
`(+↓
P(*↓*@ )A*0 )↓*⊂((A
((↓ p('↓)` &A)P &↓)0(%A !@%ε !@"Q⊃λ E"P0β∪!4`εS00αS⊂Hα∃`E8α∃`E8α∃@U¬S!d`β↓ DXααDPαα DPαα DPαα DPαα DXαA dXλ∪↓ λα∪ ` α⊃(F⊂ Ed"⊂↓ %↓ %↓ %↓ %↓ %↓ %↓ α↓) ↓α)!%↓`@0%↓! %↓↓ %↓↓ %↓↓0 %↓↓0 %↓↓0 %↓↓0 %↓↓0 %↓↓0 %↓↓0 %↓↓ (%↓↓ %↓↓⊂(%↓! %↓@P(%βi B) ↓A(T 1DBA(
A`tx¬SAThαA@4`αα $Xα∩`DXα∩@DPα∩@DPα∩@DPα∩`DXα∩`D`αα`∀hαA@Dpπ∪aEλβQ(F E$"⊂πA⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂ ,A
0↓A pHA `x&A P0&↓↓(%A!⊂ %A↓ %↓! %↓↓0 %↓↓0 %↓↓0 %↓↓0 %↓↓0 %↓↓0 %↓↓0 %A↓ %A↓⊂(&↓↓(&↓@@8&B`⊂ 'α (↓ @ "QQ⊂
¬"P0β∪a∀hε∪P(α∪@8α∩`@H↓R`@H↓R@@X↓RB$P ∩B$Pα∩@DPα∩`4Xα∩`D`αα@∀hαA DpεSa5λβ⊃(F0λ∧∧"⊂¬↓J @(B* (ip 'A p 'A p 'A p 'A h%β) h'A p 'A p 'A p 'A p 'A p 'A p 'A p 'A p 'A p 'AλT 3EBr
A`P(αSb∀p ∪ P_αS @(α∪@8α∪@8α∪@8α∪@8α∪@8α∪ @(α∪ P_αSA4h¬S ⊂αS4`↓SDhεS"∧hλSα4XαB dXαβTPαβ@DPαβ@DPαβ@DPαCTXαB@T`β↓@dhλ∪Aeλ∧⊃(F@λE$"⊂↓ %↓ %↓ %↓ %↓ %↓ %↓ α↓) ↓α) Bi 8α↓) 0β↓) (∧↓ (∧↓ ∧A ∧A ∧A ∧A ∧A ∧A ∧A ∧A ∧A ∧A ∧A ∧A ∧A ∧A ∧AλT 4Ar⊂⊃DPα∩@DPα⊃a⊂α∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@D("~A@H⊗λA )↓
)↓λpH∧↓
)↓
)↓
)↓
)↓
)↓
)↓
)↓
)↓
)↓
)↓
)↓
)↓
)↓ λβA _↓A) X%B)P("Q
1⊂λD α∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@@Hα∩@@@α∩@@8α∩@@0α∩@@(α∩@@ α∩@@_α∩@@⊂α∩@@λαRA$P¬RA4Pβ TPα@`TPα↓ DPα↓ TPα↓@TPα↓`DPα↓`TPααDPααTPαα T("≠@8⊃λ@ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ "Q
R∩¬"Pα↓`@β∩@@⊂¬↓↓$Pα!@⊂ε∩@p(α@ 0(αR@`8βA`TPαB PHα∩@PHαB DPαα@@Pα∩@@Pαα@DPαα@@Pα∩@@Pαα@DPαα@@Pα∩@@Pαα@DPαα@@Pα∩@@Pαα@DPαα@@Pα∩@@Pαα@DPαα@@Pα∩@@Pαα@DPαα@@Pα∩@@Pαα@DPαα@@Pα⊃(FpλE"Q(↓@(%↓ H%↓⊂X%↓`@(%↓@`(%↓! %↓! %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ "Q
q0E"P@β∪aDpπ∪ P0αSP@αS@Pα∩`@`α∩`0p↓R@@pα∩@@pα∩@@pα∩@@pα∩@@pα∩@@pα∩`@`α∩`@`α∩`PPαSP@αS P0αSAdxε∀@d("≤α18∂E α↓) ↓α)!%↓`@0%↓! %↓↓⊂(%↓↓ %↓↓ (%↓↓0 %↓↓0 %↓↓0 %↓↓0 %↓↓0 %↓↓0 %↓↓ (%↓↓ %↓↓⊂(%↓ p(%↓@P(%βi B) ↓A) %↓ %↓ %↓ %↓ %↓λT 8DbQx
A`P_α∪a⊂α∪AthαA d`αA`TXαBTXαα@DXαα@DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαB@DXαα@DXαB D`ααT`β↓th¬@ Dp∧@@EαAEHα⊗ EHα⊗ EHα⊗ EHα⊗ EHα⊗ D("≤A0x
E αi ↓↓) AI @%↓i 0%↓) (%↓ %↓ %↓ %↓ %↓ %↓ %↓ "Q∞1λE"P(βS!4`εS@0↓R`@@↓∩`DXα∩`T`β∪↓$h¬∪A%λ∧∃ U0α∃@E0α∩@ Pα∩@P0α∩At`ε∪A∧("≥↓`x
F`@ '↓ ` '↓ ` '↓ h%β) h'↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓@λ'↓0_'B)p@(↓(T :D"Q(
@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@@αR@P(βRb∧X¬@Dhβ↓D("≥BA(
E ε↓ ε↓ 0 ¬↓ 0 ¬↓ 0 ¬↓ @ ∧↓ @ ∧↓ @ ∧↓ P β↓ P β↓ `_βi` α↓ ` α↓ p_αip ↓↓ p ↓↓
_↓j_↓j @j⊂0(AJ⊂0"Q∞qx⊂¬"Pαα PHα∩@@@βα DPααp@α∩`@8βA`DXα↓@@λ↓A`DXα↓@0⊂α↓@D`↓A@0⊂α↓@4`α↓ 0_↓A D`α↓@_↓A D`α↓0 α↓Dh↓A0 α↓4hα`0(↓@`Dhα` 0↓@`Dhα@00↓@`Dp↓@@00α@4p↓@@08↓@@4pα @↓@ Dx↓@ @↓@ 4x↓@ H↓ 4xαB@dxαB@eαα@T("≡αa0
E ⊂ ¬A)@ ¬↓ @(∧↓ P βA ` αA)p α↓
↓↓
⊂@(Aj 0)A
()↓J⊂_A
↓↓ p α↓ ` βi` β↓ P ∧↓ @ ¬↓ 0 ¬A) (ε↓(T <EαQx
@@`α∩@PXα∩`@Pα∩`@Pα∪@Hα∪@@α∪P8α∪ @8↓S @0α∪@@(α∪@@(↓S`0 α∪`@_α∪`@_↓T0_↓T0⊂↓T 0λ↓T 0λ↓T 0λ↓∀@U⊂αT`5_↓T@5⊂↓T@5λ↓T 5↓Ra∧XβR`d("≡B!_
E ⊃λ%D)1λ+↓*` *A
@()A*0 )↓
⊂((↓* 'A `(&A)P &↓ 0(%∧I!⊂%∧HT ∧cα⊂⊃α4P RB4Pα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@D("$R8⊃λB(,Ak⊂8,@`⊂_,↓⊂ ,` +A0 +@`@ +↓P +↓P *A`(*Ap *↓↓(*↓↓⊂ *a )A↓0 )@a@ )↓↓P )↓↓P (A↓`((A↓p (↓α((↓α⊂ 'Aα ('Aα0 '↓α@('↓αP 'b` &Aαp &Aαp &↓β(&λ)2_%Hi"("Q"⊃I∧0`∧∃↓E⊂λ∀ `0β∀PPαS`@pα∪@Aα∪ A⊂α∪ A⊂α∪A α∪A α∩`A0α∩`A0α∩`A0α∩@A@α∩@A@α∩@@ λ↓DPα↓α α∩@@ λ↓DPα↓α α∩@A@α∩@A@α∩@A@α∩`A0α∩`A0α∩`A0α∪A α∪A α∪Q⊂αS A⊂α∪@Aα∪`@pα∀PPαT `0β∀B¬ ε∃A∧("c1`⊃λA0(*A*@8*`⊂_*`⊂_*`⊂_)@` )@` )@`0_)↓0 )`@ )`@ (AP (AP (@`` (↓p (↓p (a (a 'A↓⊂ 'A↓⊂ '@a '↓↓0 '↓↓0 'a@ &A↓@(&A↓P &@a` &↓↓`(&↓↓p &↓↓p %Aα(%Aα⊂ %Aα⊂ %@b "QA`∂λD ∞∩CDP∞⊃a@
∪BDp
⊃a`∞∩CDP∞⊃(@(π$"⊂ε !@%ε λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓λT βπ$α⊂⊃βTP∞RCTPαR`T`αS ThαS@TxαTUαT U⊂αT@U_αUU(αUU α∀`U⊂αT@UλαT EαS`Txα∪@ThαS T`αSβ4X∞∩CT("↓dα_⊃H`P0¬↓IPH∧α)@Xβαi0(α↓@ α↓)0 β`@_β↓ ∧` _∧↓ ∧@@ ⊂∧A ∧@@ ⊂∧A
p0,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓λT ∧π$α⊂⊃β E8α∃`E8α∃`E ∧TAUλS@p⊂α thβ↓@_β∪P0α↓ T`α↓`@0α∩`@@α↓`DXαα@8α∩@@HααDPαα @@α∩@@HααDPαα @@α∩@@HααDPαα @@α∩@@HααDXαα@8α∩`@@α↓`D`α↓`@0α∪P0α↓ Thβ↓@_β∪@p⊂α uλTAU ∧U`E8α∃`E8α∃`D("α$α_⊃λA` ,↓ ,↓ (∧A↓⊂(%↓A ∧↓I 0∧↓↓0&↓ p βA)@(βAp(&Ap βA P βAp &Ap βA P βAp &Ap βA P βAp &Ap βA P βAp &Ap βA P βAp '↓` β↓ ` β↓` '↓` β↓ `(αAP('AP αA p(α↓@((↓ 0 ↓A*⊂0A⊂0)∧
@`+α ,↓ ,↓ "Q↓!x⊂Hd0X∧TaUλλS`p8βS@`Xβ∪@@xα∪ Aλα∪QλαSA_α∩`Q_αR`A(α∩`A(α∩`A(α∩`A(α∩`A(α∩`A(α∪1(↓SA_α∪A_α∪ 1_↓S Aλα∪@1λ↓S@@xα∪`0x↓S`@hα∀0h↓T0h↓T 0X↓T 0X↓T@0H↓T@0H↓T@0H↓T`08↓RA@8ε∩A@8ε∩A@8ε⊃(C
¬D"λβAIpP'β P(α↓)@(β↓)@ ∧↓ @_¬i0 ¬↓ 0 ¬↓ 0_εi ε↓ ε↓ ε↓ ε↓ ε↓ ε↓ ε↓ ε↓ ε↓ ε↓ ε↓ ε↓ ε↓ ε↓ ε↓ 0 ¬↓ 0 ¬↓ 0 ¬↓ @_¬i@ ∧↓ @(β↓)P(α↓)``'BJ⊂0"Qε⊃λ
H$⊂H↓∀@5αRA4P¬R@`λα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ DXλ∩b∧Xλ⊃(C⊂
¬D∩λβ↓i`X&C)@ β↓)@_∧↓)0_¬↓)0⊂ε↓ _ε↓) _εA 0λπ↓ 0λπ↓ -↓ ,A⊂ ,↓_+A
` *A
@ )A
(@j_'@i`_&@i@_%@i! %¬ ! "Qε1 λD⊂8β∪a$pε∪P0α∪0Hα∩`0Xα∪ Xα∪⊂`α⊗ EHα⊗ E@α⊗E8α∃ U∧T↓¬∧U@U@α⊗ EHα⊗@EPα⊗@EPα⊗@DPC`DP↓β DP↓CDX↓B@D`αA ThεSA5λβ⊃(C ¬dαε↓*P0*@ ⊂ *@⊂ *@⊂ )@`⊂ )@@ )` (A (@`0 (↓0 (`@ 'A@ '↓P '↓P &A` &A` &↓p %A↓ %A↓ %↓↓⊂ %¬I!0%¬Jp +A
p +A
p +A
p +A
p "QεQ λ$⊂λ∪α∧`λ∪D`α∪D`α∪D`α∪D`α∪D`α@d`εS↓d`β↓ D`αA`D`αα D`αα EPα⊗@EPα⊗@EPα⊗@EPα∩`⊂hα∩` `α∩@0XαR`0Pα∪@0αS!Tp¬Td("
BA0⊃λ! 0)α*X'A `λ'↓)`_&A @ &↓ 0 %A 0 α↓)0_↓B) ↓αi @`P %↓A %↓A⊂ %↓! %↓! %↓↓@ %↓↓@ %↓↓@ %↓↓@ %↓↓@ %@a@ %A↓0 %A↓0 %A↓ &a &↓↓ &Ap &A @('β
H(AHT ≠Eαb⊂αDP
∩BEX↓V@5H↓VE@↓U`50α∃@5(α∃ 5 α∃E_α∀`E_↓T@E⊂α∀@Eλα∀ Eλα∀ Eλα∀Eα∀Eα∀Eα∀D("∞αA0⊃λ p0'BI``&A @(&↓↓ &↓↓ %A↓ %A↓ %A↓ %A↓ %A↓ &a _&↓↓ &A` '↓ ('BJ@'β P β↓ @ ∧↓ 0 ¬↓ 0 ¬↓ ε↓ ε↓ ε↓ ε↓ ε↓ ε↓ 0 ¬↓ 0 ¬↓ @ ∧↓ @0α↓IPp'BJ⊂0"Qπ⊃ λD⊂8β∪a$pε∪ P αS@8α∪@@α∩`@P↓R`@Pα∩@@Xα∩@@Xα∩@@`↓R@@`α∩@@`α∩@@`α∩@@`α∩@@`α∩`@PαR`@PαR`@Hβ∪@@β∪ @(↓@ Dh¬@@Dp∧@`EαAEHα⊗ E@α⊗E8α∃`DhBDh↓↓ T`ε∪!$xβ⊃(B E$r ∧@j0_(AipX'β)P ↓`⊂(&↓0_↓@i@_α`Pλ%@`P_%@`P_%@`P_%@`P_%@`P_%A@_&`@_&↓0_&B)PP'αjP)B
0@)@` )@`0_)@`0 )@`@_)@`@_)@`@_)@`@_)@`@_%!_↓@i ⊂β@`0_%↓P_↓i0(↓B @p'αj8)@j0_)@hT ∪λ∧" ⊃B`U_∧∀A%⊂↓AEλ↓A Eλ↓A@Eα↓@E↓A`E↓A`Eα↓@Eα↓ Eα↓ Eα↓Eα`Eα@Eλ∧β∃λβC 5λββ E⊂αβ@5λαC@5βCDp∧C4hα@ PX↓SP_αα@4XαAP@α∩`@0αA`4PααP(α∩@@@αA 4Pαα P_↓R@@Pα@ DPααa∧PαB`dXαB@d`αAA00↓∪!pλεSA@(¬TpPβQ(CxλE∧"⊂αα 0h%βi βA)0λ¬↓
p +A
p +A
p +↓
P(*↓*0 )A
)j⊂ (@j⊂_(@j⊂_(↓
(↓λp0β↓
(↓
"Qπaλ
λC0α∀Eα∀D8β↓@Eα∀E↓T5↓T5↓S`Dx↓S@Dhα∪TXαR`DPα∩@DPα∩@DPα∩@PPR`@8αS↓thε∪`t("∧@8
E %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓λT λC↓⊃x
BE⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@DXA@DP↓@`TP¬Ra∀hαQ(AH ¬D"⊂αAIPP&β 0(α↓)0 β↓ ∧↓ ∧↓ ∧↓ ∧↓ ∧↓ βA βA β↓ ↓AI ↓A) ↓AI β↓ βA ∧↓ ∧A ∧A ∧A ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ∧A ∧A ∧↓ ↓B ↓α ↓↓hT
λ∧!(
A@p@β∪!@ ¬∪↓`⊂ε∪@0¬↓D`B@p8α⊗`@↓VPHα⊗PP↓Vα% ∪c4hπS`0α∩`P@α∩@@PαR@@PαR@@Pβ∩@PHβB ∀XαAA 0↓Rap⊂εS↓P ¬SAHβQ(AX∩ "Q(βAa 0'B``P'β @`&A P(↓↓ P &↓↓⊂HβA 0 ¬Aa⊂_%A↓00¬i0_εA!0_%↓↓Q_%↓↓Q_%↓↓Q_%↓↓P %↓↓P %↓↓P %A↓00%A↓00%A!⊂@&↓↓⊂H¬)P(αA 0αA `hαβIpXβBj⊂8¬AHT ∞¬Br
∧@5Xα⊗`5Pα⊗@5⊂β DxεSAdhαA d`αA@t`α↓A∧Xα↓`0⊂α∩`@0α@DPα↓`0 α∩@@0α↓DPα↓@0(α∩@@(↓A@DPα↓@0α∩@@ ↓A`DXα@@0α∩`@⊂↓A`DX∧A@T`βA@Thβ↓ Tpπ∪AThα dh↓SD`↓R`DX↓Q(Ah∪J∧"⊂πε↓@,ε
p ↓A
p ↓A
` α↓
` α↓
`_αA
P αA
P αA
@ β↓
@ β↓
@_βA
0 βA
0 βA
∧∧* ∧∧*⊂ ∧D*⊂ ∧A
⊂ ∧A
¬↓
↓⊂'Diq_'A↓0 '↓↓@ '↓↓@ &A↓P &A↓P &@a` &↓↓` &↓↓` %A↓q_%A↓q_%@b↓_"QβbX⊗I∧0`βTd∃⊂⊃∀p0S`PPαS@PXαS@@hα∪ @pα∪Ppα∪@xα∪1α∩`Aα∩`Aα∩`1λα∩@Aλα∩@Aλα∩@Aλ
∩@Aλ
∩@Aλ
∩@Aλα∩@Aλα∩@Aλα∩@Aλα∩`Aα∩`Aα∩`Aα∩`Pxα∪@xα∪Ppα∪ Phα∪@@hα∪@PXαS``HαTp0∀D5_⊃∃@t("πdα_∪Iβ⊂_+α@ *β _)∧j⊂0β↓j(¬↓)p εA)` εAiP εA⊂ &A↓P_↓↓ @ εA0 &↓↓P_α↓ 0 εAP %A↓P_β↓ 0 ε↓` %↓↓P_∧↓ εa⊂ %↓↓0 ∧A ¬@a %↓↓ ¬↓ ¬a0 %↓↓⊂ ¬A ∧@a@ %↓↓_εA 0 β↓↓@ %A`_εA 0 αA↓P &↓@_εA @ ↓A↓P &↓ _εA)P A↓P '↓aP 'A!P (↓! ((↓``0'Dip_↓β ` αα `_"Q∧⊂ ¬λD α∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα⊃``α∩@DPα∩@D("∂@P⊃ε %↓ %↓λp0↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓λT ⊃Hdb`⊃∧ P↓⊗@ P↓⊗@ P↓⊗ P↓⊗ P↓⊗ P↓⊗ P↓⊗ P↓⊗ P↓⊗ P↓⊗ P↓⊗ P↓∃` P↓∃` P↓∃` P↓∃` P↓∃@ P↓∩D4P⊃U P↓∃ P↓∃ P↓∃ P↓∃ P↓∃ P↓∃ P↓∃ P↓∩D4P⊃T` P↓∀@ P↓∀@ P↓∀@ P↓∀@ P↓∀ P↓∀ P↓∀ P↓∀ P↓∀ P↓∀ P↓∀ P↓∀ P↓∪` P↓∪` P↓∪` P↓⊃(B(⊃IDr α@b@λ&Ab⊂⊂&α!p⊂&`0_π@I0 ↓A↓P⊂%@`@ ε@I αA↓0⊂%↓P ¬I αA↓ ⊂%↓P ∧@I αA↓⊂⊂%↓P ∧I αA↓⊂%↓P β@I0_α↓↓⊂%A0 β@I@_↓@`p⊂&α p⊂&A`p⊂'@a⊂⊂∧k ⊂βAk ⊂βα+⊂⊂β@`0_,@@` ↓A⊂βA0 +@@p αA
p⊂βAP +A αA
`⊂∧↓P *@A⊂ αA
P⊂∧AP *A αA
@⊂¬↓P )@A0 αA
⊂εA0 )AP ↓A
⊂⊂π@`0_(@ApH(B⊂8(@"0_"Q∧p(∧B$ λα∩`DXα∩`Dh↓∪$`↓∩`$X↓∩@4("
↓Px_I↓ _)@j _(@j_'A p_'↓ `_&A P_&↓ @ &i0 %A 0 %A %↓ %↓ %↓ %↓ %↓ %↓ %↓ 0 %A 0 %A @_&↓ @ &@iP 'i` '@ip (j⊂_)j0_*hT ∀C"βλ∩4X↓S4h↓S@4pα∪`4xα∀5α∀ 5λα∀ E⊂↓T@E⊂α∀@E⊂α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀@E⊂α∀@E⊂α∀@5λα∀ Eλ↓TE↓S`Dx↓S@Dp↓S 4`↓R`4P↓Q(BP ¬"R ∧J _)J ⊂)I _α@@P_%↓@⊂α↓ 0↓@ 0&↓ ⊂⊂A)`P(↓J0'αI@(@@⊂(%↓@ ⊂↓↓I α@@ %`P⊂α@j ⊂)J ⊂)j ⊂"Q¬2⊃H#@x↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ $P⊂∩D¬H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ $("PH∧@`⊂ %A 0 %A P⊂&I@⊂%@I0⊂%hT ↔↓↓⊂_↓@DPα∩@DPα⊃(Bx ¬&α λ@+ ⊂,@K⊂⊂,@K⊂,K⊂+@Jp⊂+@J`⊂+J`⊂*@JP⊂*@J@⊂*J@⊂)@J0⊂)@J ⊂)J ⊂(@J⊂⊂(@J⊂(J⊂'@Ip⊂'@I`⊂'I`⊂&@IP⊂&@I@⊂&I@⊂%@I0⊂%@I ⊂%HT ≥↓↓⊃(
@DPα∩@DPα⊃a`α∩@DPα∩@D("∞`PH
E ⊂ %A 0 %AλppA 0 %A 0 &@I@⊂&I0⊂%@I _"QπR⊃Bb⊂⊂∩D∧8∧∧∧P⊂⊃(D
GD"⊂ε↓j@X)βj⊂0αAIp0∧A p ε↓ ` βBIP βC @ βC)@ β↓@0%A` β↓I0 αA↓(%AP ∧↓) β↓↓(%↓P ¬↓ αA↓ %↓P ¬↓ αA↓ %↓P ¬↓ αA↓ %↓P ¬↓ β↓↓ %AP ∧↓ 0 αA↓ %A` β↓ @ β↓@ &↓pP&Ap@'↓p0'A p0ε↓
⊂0βAJ!λ*β*`@"Q0@ε∧@∧∩A∧P∧∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DP∧∩A∧P∧⊃(Eh∧α&α α @%α ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` %α @%αλT 0↓! H⊃@4`↓∪$X↓∩`$P↓∩@DPα∩@DPα⊃(A⊂¬βAα⊂↓ 0 &↓ P_&A ` 'A
_(@hT BB@@⊃↓@Dxα∪@Dp↓S D`α∩`DX↓R@4("¬α↓ βG`_¬i0_∧i@_βiP_αiP ↓↓ `@'AJ "QαQ
α∧ ↓B@4P↓B@4P↓B@4X↓B4Xα↓@D`α↓D`ε∪A∧xβ⊃(A0 ¬ !p∧I!⊂%∧HT Cα`@⊃`d`∧∩a$Pα↓DP↓A@4Pα↓DX¬∪↓∧hβ⊃(0β∂x␈␈␈pp↓←x␈␈}␈x␈␈␈@_↓S 4`↓R`4Pα∩@4("λ↓P`β∧a0λ)↓ p@&αI @%A 0λ"Qa
α∧ 0α∪`dxβ∪@0⊂↓S @⊂α∪@ α∪00↓R`0@↓R@0P↓Q(Exαα 2⊂↓ %↓ "Q∂Px
α∧ _α↓Dhα↓D`α↓D`α↓DXα↓DXα↓DX↓A 4Pα↓DP↓A 4("∨B↓ αH 0 βi@0α@i0@↓A ↓B _αAI _β↓λT ?Cα _⊃@ α∩@@ α∩@@ α∩@@ α⊃(@X∂πD"⊂¬↓``8)α @H(B@0P(↓!((a _'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ %β@@H%β@@H%β@@H'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ "Q↓A0λd1⊂α∀``_α∀@p_α∀!_α∀E↓S`Dxα∪`Dxα∪`Dxα∪`Dxα∩Ap_α∩Ap_α∩Ap_α∪`@Hα∪`@Hα∪`@Hα∪`@Hα∪`@Hα∪`@Hα∪`@Hα∪`@Hα∪`@Hα∪`@Hα∪`@Hα∪`@Hα∪`@Hα∪`@Hα∪`@Hα∪`@Hα∪`@Hα∪`@Hα∪`@Hα⊃(@h¬D"⊂∧A@0 )↓`0 (B0 (↓↓ (a⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ %β`0 %β`0 %β`0 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ "Q↓b ∩λd2α∃`8αAE⊂∧↓@` α∀!⊂(βAEαα@E↓B`4xαα@Dxαα@Dxαα@Dxαα@Dxαα@Dxαα@Dxαα@Dxαα@DPπ↓!⊂ α∩A`(∧ADPπ↓!⊂ α∪`@Pαα Dxαα@@Hα∪`@Pαα Dxαα@@Hα∪`@Pαα Dxαα@@Hα∪`@Pαα Dxαα@@Hα∪`@Pαα Dxαα@@Hα∪`@Pαα Dxαα@@Hα∪`@Pαα Dxαα@@Hα∪`@Pαα Dxαα@@Hα∪`@Pαα Dxαα@@Hα∪`@Pαα D("βdB ⊃λA 0βA @ )α`0α↓
⊂HαA`@ (↓↓ ∧↓
_¬@a⊂ 'A↓ ∧A p ¬↓↓⊂ 'A↓ ∧A p ¬↓↓⊂ 'A↓ ∧A p ¬↓↓⊂ 'A↓ ∧A p ¬↓↓⊂ %β@PHα↓ pαB @ %β@PHα↓ p ¬↓↓⊂ 'A↓ ∧A p ¬↓↓⊂ 'A↓ ∧A p ¬↓↓⊂ 'A↓ ∧A p ¬↓↓⊂ 'A↓ ∧A p ¬↓↓⊂ 'A↓ ∧A p ¬↓↓⊂ 'A↓ ∧A p ¬↓↓⊂ 'A↓ ∧A p ¬↓↓⊂ 'A↓ ∧A p ¬↓↓⊂ 'A↓ ∧A p ¬↓↓⊂ "Q∧ xλα$ λα↓@DXα↓@DXα↓@DXα↓@Dh↓α$`↓α$`↓α$X↓α$X↓α$P↓A`4("!@h↓β`%β `"Q@xB$ ⊂↓A`4`↓α$`↓α$X↓α$X↓α$P↓α$Pα↓@DPα↓@DPα↓@DPα↓@D("≡c↓@↓β@↓@%ε !@"Q∂Cλ_@A`_RF∀P_Q=px4YVp:~,fH2\D∧_&Tj>x
Xmv 4[Lw_1ZVh2H
F(,λ∞F(<≥≥p`3≠mg 3_,6(1≡.F(y@≥ >_Q@
R_↑T@ ⎇M` ⎇M␈␈x␈␈ ?␈x␈|` ≡`
@↓
PV@↓0I⎇@∩Pβ*U@αn{Dpε≤9 ¬l←0↓G@HcH␈≡` ⊂@↓*PV@↓@D⎇@R_αjUPβ
0{↓D@¬cG0ε&?0βI``8r@`≡`@∩↓8p≥@↓Hy⎇A∩8β∞≤Pβ(`{αD@¬cG0εf←0¬G H*V⊗↑↑``
@↓ _u@αpε⎇AQXα∩>X¬hp{βE⊂εA60d∨0πJ hαl`↔z≡a¬@=⊂?αλV=B⊂h↓λD0∧≥x{∧C⊂∧ o0 F @@⊗π}a @↓↓α`≤=BQHα⊂¬EH{¬C⊂∧ ∂o0H PU+@⊗"}a@q`9@α`U=C⊃@↓v¬p∧"P{εD@¬cG0λV␈0
I``8r@⊃E↑a`@↓↓α_C⎇CRXβ8r∧@0{πFπcGP ⊃←0∂I``8r@∩G≡bε=⊂?α`h=D⊃↓#G_∧↑({λC⊂∧ _∨0⊃J@h*V∪~}b @↓↓↓xs=DRPβ*U@∧qp{ D`ελDPλ∞␈0∪C@ 8r∀>b@ @c@r@α@∞=E⊃_↓G∞(¬λ8{
C⊂∧
≡/0∃I``8r@∀Q>b`πGλdαHH=EQλ↓*U0ε∂{A`α≤9
5?0↔F @@∀n↑c@↓↓↓Xc=F⊃Hα⊂βDh{C⊂∧ π∪/0→F @@∞=>c @↓↓↓h+=FQHα⊂β\({
C⊂∧ πDO0≠F @@∂'}c@@↓↓↓pt=G⊃Hα⊂βvH{∞A`α≤9
D?0≥C@ 8r∃∂≡c`λQ`9@α0∀=GR8β∞≤P¬&λ{∂CβcG0λ,←0∨F8G∞`⊂G↑d⊂@↓*PV@αP9=H∩λαU*pα_{⊂D⊂¬*U`∃/0!HP≤9@J}d ∩↓8p≡@λC=HQpα1cX h{⊃C@∧G∞PK/0#H PU+ ↓)}d@⊃@↓5(-_=I⊂p↓∞≤P:({∩CβcG0}/0%H`X∞≥@α⊃>d`
@↓
PV@ m=IR`β@(R8{∪D0¬U+ ↓F∂0'I XcG@β?>e⊂↓#@s8F=J∩(αxqp␈({∀D¬∃+α∪/0)G@qd∧H>e ⊃↓._HH?=JR⊂α`(↓≤X{∃D⊂¬*U`αKO0+K`x∞≥@¬:>e@⊂@↓*PWX{=K∩λαU*p↓GX{⊗C`∧qc`β≥O0-C@ OR`∃F>e`@↓↓β}⎇KPp↓∪tX¬8⊂{↔C⊂∧ ≤←0/C@ 8r⊗B↑fπGλdαXu⎇L⊃@↓v¬h↓SH{_C ∧⊃λ`β0/01E@8∞≤`ε⎇}f
↓∧ #p→=LQ0↓cG_↓jH{→Apα8rβ]/03F @@πM}f@
↓∧ #xS=M⊂Xz'pα↓x{~APα⊃λ`∧O05F8i λ,>f`¬@=⊂?↓λ∩=MRHβ⊗`pα↔λ{≠C ∧⊃λ`∧?o07F @@ ↔>g
↓∧ #↓⊂X=N⊃PαλD0α1x{≤B⊂α]o ∧r∂09D`0⊃λ` r>g \8∞@↓ α=NQPαλD0αD8{≥BpβX↔¬∀O0;H@Pw<@
?>g@@v\↓(P=O⊃8↓l@α←_{≡B`β=∀¬L∂0=F @@_K≡g`→α↓@βλ≤⎇OQHα⊂¬QH{∨C⊂∧ (O0?F @@⊗X␈⊂0__ow{⎇x